1141. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
1142. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
1143. Understanding Intrusion Detection Through Visualization
پدیدآورنده : by Stefan Axelsson, David Sands.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Data encryption (Computer science),Data structures (Computer science)
رده :
TK5105
.
59
B978
2006
1144. Understanding algorithms and data structures
پدیدآورنده : / David Brunkill,John Turner
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Algorithms,Copputer algorithms,Data structures
رده :
QA76
.
9
.
A43B7
1145. Understanding complex datasets
پدیدآورنده : / David Skillicorn
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Data mining.,Data structures (Computer science),Computer algorithms.,Matrices.,Decomposition (Mathematics)
1146. Understanding complex datasets : data mining with matrix decompositions
پدیدآورنده : Skillicorn, David B.
کتابخانه: (طهران)
موضوع : ، Data mining,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
9
.
D343S57
1147. Understanding complex datasets :data mining with matrix decompositions
پدیدآورنده : Skillicorn, David B.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Data mining,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
9
.
D343
S62
2007
1148. Understanding complex datasets data mining with matrix decompositions
پدیدآورنده : David Skillicorn
کتابخانه: (کرمان)
موضوع : Data mining,Data structures )Computer science(,Computer algorithms
رده :
QA
76
.
9
.
D343S62
2007
1149. Universal Algebra for Computer Scientists
پدیدآورنده : by Wolfgang Wechler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
1150. Usability :
پدیدآورنده : edited by Judy Hammond, Tom Gross, Janet Wesson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
9
.
H85
E358
2002
1151. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1152. Visualization in Scientific Computing '95 :
پدیدآورنده : edited by Riccardo Scateni, Jarke J. Wijk, Pietro Zanarini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Data structures (Computer science)
رده :
T385
.
E358
1995
1153. WALCOM
پدیدآورنده : Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
1154. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
1155. Wissensmanagement - Grundlagen und praktische Anwendung Eine Einführung in das IT-gestützte Management der Ressource Wissen
پدیدآورنده : herausgegeben von Monika Frey-Luxemburger
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Data structures (Computer science),Information Systems
رده :
QA76
.
9
.
M3
H473
2014
1156. Workflow and Process Automation
پدیدآورنده : by Andrzej Cichocki, Abdelsalam Helal, Marek Rusinkiewicz, Darrell Woelk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Management information systems.,Text processing (Computer science.
1157. Writing effective business rules
پدیدآورنده : Graham Witt
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing-- Management,Data structures (Computer science),Electronic data processing,Natural language processing (Computer science),Rule-based programming,Semantic computing
رده :
QA76
.
5913
.
W58
2012
1158. algorithms in Java /&Data structures
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data structures (Computer science) ; Computer algorithms. ; Java (Computer program language) ;
1159. an Introduction to Data Structures and Algorithms with Java
پدیدآورنده : Glenn Rowe
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Java ( computer Program Language),Data structures (computer Science),computer algorithms
رده :
QA
،
76
.
73
،.
J38
,
R69
،
1997
